#!/bin/bash

for i in $( ls *.dsa );
do
  dsafile=$i
  vnfile=$( echo $i | sed -e "s/dsa/vn/" )
  ./dsavm ./$i ./$vnfile
done
